AlphaCode - ассистент для написания кода по заданию

После обучения AlphaCode решил около 34% поставленных задач, сообщает DeepMind на этой неделе в журнале Science. (В аналогичных тестах Codex добился однозначных процентов успеха.)
Чтобы еще раз проверить свое мастерство, DeepMind представила AlphaCode в онлайн-соревнованиях по программированию. В конкурсах с числом участников не менее 5000 система обыграла 45,7% программистов. Исследователи также сравнили его программы с программами в обучающей базе данных и обнаружили, что они не дублируют большие участки кода или логики. Это породило нечто новое - креативность, которая удивила Эллиса.

проблема в том, что существует трудно формализуемая часть техзаданий.

Насколько я понял из ответов ChatGPT, она как-то плохо понимает, какие вещи являются фундаментальными, а какие нет.

2949181891+9999777989
The result of adding 2949181891 and 9999777989 is 39,490,996,880.

Так что логики там нет и пока не предвидится.

Универсальный решатель задач (англ. General Problem Solver, GPS) — компьютерная программа, созданная в 1959 году Гербертом Саймоном, Клиффордом Шоу (англ. Cliff Show) и Алленом Ньюэллом, предназначенная для работы в качестве универсальной машины для решения задач, сформулированных на языке хорновских дизъюнктов. В качестве примеров использования приводились доказательства теорем евклидовой геометрии и логики предикатов, решение шахматных задач.
Программа основана на теоретической работе Саймона и Ньюэлла о логических машинах. Считается первой компьютерной программой, в которой предпринята стратегия разделения знаний о задачах (правила, которые подавались на вход программы) от стратегии решения задач (общий решающий движок). Решающий алгоритм был реализован на низкоуровневом языке программирования IPL (англ.)рус..
Хотя GPS была способна решать простые задачи, как например головоломку о ханойских башнях, она не могла справиться со многими реальными задачами, поскольку поиск цепи решения приводил к комбинаторному взрыву числа промежуточных шагов.

Калькулятор как-нибудь осилил: 12,946,969,980. Google выдает такой же результат.

В 1959-м году была создана программа Универсальный решатель задач

И потом: она помнит излишние факты, на мой взгляд, возможно там много нефундаментального мусора, например, про каких-то личностей, про которых 99,99% людей не в курсе.

Мой калькулятор дал 2949181891+9999777989=________________ _12948959880
you.com на сей раз сказал The sum of 2949181891 and 9999777989 is 12948949880.
У Вас _________ _The result of adding 2949181891 and 9999777989 is 12949949850
Добавлено через 3 минуты
Сообщение от Moon-Watcher
Калькулятор как-нибудь осилил: 12,946,969,980. Google выдает такой же результат.
Гугель видно тоже считает нейронкой.

Вот эти люди делают поразительные вещи комбинируя обучение и языковые модели с формальниыми рассуждениями в математике
https://openai.com/blog/formal-math/

Я слышал их выступление в ноябре 22-го (заметка по ссылке за февраль 22-го) - утверждали, что порядка десяти задач из международных олимпиад (и огромное количество задач попроще, включая практически всю школьную математику) их система может решить.

Ну и прикрутили бы эту модель к ChatGPT. Интересно что помешало

Не просто ChatGPT, а скомбинированный с prover'ом Lean (который сам по себе переживает быстрый рост популярности в деятельности по формализации математики).

We pre-train our models successively on GPT-3’s postprocessed version of CommonCrawl (for 300B tokens) and an updated version of WebMath (for 72B tokens)

1. Voice Over Internet Protocol (VoIP) is a new technology that uses broadband Internet and network lines to transmit real-time voice information. This technology has the potential for completely changing the way phone calls are made and making phone companies a thing of the past.
2. To make a phone call on the Internet, several things must happen. On the sending side, analog voice signals are digitized, compressed, divided into packets and transmitted over network lines. On the receiving end, the signals are recombined, uncompressed and converted back into audio. Because the voice signals are digital, they can be transmitted just like any other data packets on a network. VoIP can be relatively inexpensive to implement, although costs rise as the complexity of the system increases.
3. There are currently several problems with this technology. If the computer or network lines fail, then telephone service is interrupted. Though the stability of computer hardware, operating systems and network infrastructure has improved significantly in the last decade, crashes still occur. The "up" time of these systems is still significantly less than with traditional phone systems - which often continue to function even during power outages. Another issue is that tracking the origin of a call is difficult because the signals are transmitted over the Internet. This is especially important to emergency responders to 911 calls. Caller ID service may not function either.
4. Additionally, devices that make calls using phone lines, such as fax machines, cable TV boxes, etc. may not function properly. Law enforcement officials may have difficulty wiretapping phone lines that use VoIP technology. Finally, the quality of VoIP service is lower than that of a traditional phone system. Since the information is transmitted over network lines, VoIP phone calls may break up, hesitate, or cause words to be dropped. All of these issues are being addressed and their significance should be eliminated over time.

1. Determine if the statement is true: "VoIP technology is a possible threat for telephone companies".
2. Determine if the statement is true: "VoIP is not a very expensive technology to implement".
3. Determine if the statement is true: "VoIP technology is especially popular among young people".